Formal semantics

noun

noun ·Rare ·Advanced level

Definitions

Noun
  1. 1
    The study of the semantics, or interpretations, of formal languages. uncountable
  2. 2
    the branch of semantics that studies the logical aspects of meaning wordnet
  3. 3
    the rigorous mathematical study of the meaning of programming languages uncountable